<div>
  Optional subdirectory of the downloaded and unpacked archive to use as the
  tool's home directory.
</div>
